1. Advanced mathematical & computational tools in metrology VII /
پدیدآورنده: editors, P. Ciarlini [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
رده :
QA465
.
A273
2006eb
3. An Integrated Approach to Software Engineering
پدیدآورنده: by Pankaj Jalote.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Software engineering.
4. An introduction to agent-based modeling :
پدیدآورنده: Uri Wilensky and William Rand
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation,Multiagent systems,NetLogo (Computer program language),System analysis-- Data processing
رده :
T57
.
62
.
W54
2015eb
5. Analytic methods in systems and software testing /
پدیدآورنده: edited by Ron S. Kenett, KPA, Israel and Neaman Institute, Technion, Israel, Fabrizio Ruggeri, CNR-IMATI, Italy, Frederick W. Faltin, the Faltin Group, and Virginia Tech, USA.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Testing.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
T48
A52
2018eb
6. Architecting critical systems
پدیدآورنده: / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
7. Blockchain for distributed systems security /
پدیدآورنده: edited by Sachin S. Shetty, Charles A. Kamhoua, Laurent L. Njilla.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Blockchains (Databases),Internet auctions-- Security measures.,Blockchains (Databases),COMPUTERS-- Security-- General.
رده :
QA76
.
9
.
B56
B56
2019eb
8. Computer Aided Systems Theory - EUROCAST '95 :
پدیدآورنده: edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computers, Special purpose.,Microprocessors.
رده :
TA345
.
E358
1996
10. Computer simulation validation :
پدیدآورنده: edited by Claus Beisbart, Nicole J. Saam.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation.,Science-- Philosophy.,Computer simulation.,Computer software-- Validation.
رده :
QA76
.
9
.
C65
11. Dependable Computing for Critical Applications 2
پدیدآورنده: edited by John F. Meyer, Richard D. Schlichting.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Software engineering.
رده :
QA76
.
9
.
F38
E358
1992
14. Discrete element method in the design of transport systems :
پدیدآورنده: Daniel Gelnar, Jiri Zegzulka.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Bulk solids-- Transportation.,Discrete element method.,Bulk solids-- Transportation.,Discrete element method.,TRANSPORTATION-- Ships & Shipbuilding-- Pictorial.
رده :
HE595
.
B84
16. Engineering high quality medical software :
پدیدآورنده: Antonio Coronato.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Medical care-- Information technology.,Medical informatics.,Medicine-- Computer programs.,Medicine-- Data processing.,Computing Methodologies.,Medical Informatics-- standards.,Software Design.,certification.,HEALTH & FITNESS-- Holism.,HEALTH & FITNESS-- Reference.,MEDICAL-- Alternative Medicine.,MEDICAL-- Atlases.,medical computing.,MEDICAL-- Essays.,MEDICAL-- Family & General Practice.,MEDICAL-- Holistic Medicine.,Medical informatics.,MEDICAL-- Osteopathy.,Medicine-- Computer programs.,Medicine-- Data processing.,software quality.,standards.
رده :
R858
.
C67
2018eb
18. Formal methods :
پدیدآورنده: Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
19. Fuzzing for software security testing and quality assurance /
پدیدآورنده: Ari Takanen, Jared DeMott, Charlie Miller, Atte Kettunen.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks-- Security measures.,Computer security.,Computer software-- Development.,Computer networks-- Security measures.,Computer security.,Computer software-- Development.,COMPUTERS-- Security-- General.
رده :
QA76
.
9
.
A25
F89
2018eb
20. Handbook of software engineering /
پدیدآورنده: Sungdeok Cha, Richard N. Taylor, Kyochul Kang, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Software engineering, Handbooks, manuals, etc.,Software engineering.
رده :
QA76
.
758
